<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
 <head><title>Include (Include)</title><meta charset="utf-8"/>
  <link rel="stylesheet" href="odoc.css"/>
  <meta name="generator" content="odoc 2.4.1"/>
  <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
  <script src="highlight.pack.js"></script>
  <script>hljs.initHighlightingOnLoad();</script>
 </head>
 <body class="odoc">
  <header class="odoc-preamble">
   <h1>Module <code><span>Include</span></code></h1>
  </header>
  <div class="odoc-content">
   <div class="odoc-spec">
    <div class="spec module-type anchored" id="module-type-Not_inlined">
     <a href="#module-type-Not_inlined" class="anchor"></a>
     <code>
      <span><span class="keyword">module</span> 
       <span class="keyword">type</span> 
       <a href="Include-module-type-Not_inlined.html">Not_inlined</a>
      </span>
      <span> = <span class="keyword">sig</span> ... 
       <span class="keyword">end</span>
      </span>
     </code>
    </div>
   </div>
   <div class="odoc-include">
    <details open="open">
     <summary class="spec include">
      <code>
       <span><span class="keyword">include</span> 
        <a href="Include-module-type-Not_inlined.html">Not_inlined</a>
       </span>
      </code>
     </summary>
     <div class="odoc-spec">
      <div class="spec type anchored" id="type-t">
       <a href="#type-t" class="anchor"></a>
       <code><span><span class="keyword">type</span> t</span></code>
      </div>
     </div>
    </details>
   </div>
   <div class="odoc-spec">
    <div class="spec module-type anchored" id="module-type-Inlined">
     <a href="#module-type-Inlined" class="anchor"></a>
     <code>
      <span><span class="keyword">module</span> 
       <span class="keyword">type</span> 
       <a href="Include-module-type-Inlined.html">Inlined</a>
      </span>
      <span> = <span class="keyword">sig</span> ... 
       <span class="keyword">end</span>
      </span>
     </code>
    </div>
   </div>
   <div class="odoc-spec">
    <div class="spec type anchored" id="type-u">
     <a href="#type-u" class="anchor"></a>
     <code><span><span class="keyword">type</span> u</span></code>
    </div>
   </div>
   <div class="odoc-spec">
    <div class="spec module-type anchored"
     id="module-type-Not_inlined_and_closed">
     <a href="#module-type-Not_inlined_and_closed" class="anchor"></a>
     <code>
      <span><span class="keyword">module</span> 
       <span class="keyword">type</span> 
       <a href="Include-module-type-Not_inlined_and_closed.html">
        Not_inlined_and_closed
       </a>
      </span>
      <span> = <span class="keyword">sig</span> ... 
       <span class="keyword">end</span>
      </span>
     </code>
    </div>
   </div>
   <div class="odoc-include">
    <details>
     <summary class="spec include">
      <code>
       <span><span class="keyword">include</span> 
        <a href="Include-module-type-Not_inlined_and_closed.html">
         Not_inlined_and_closed
        </a>
       </span>
      </code>
     </summary>
     <div class="odoc-spec">
      <div class="spec type anchored" id="type-v">
       <a href="#type-v" class="anchor"></a>
       <code><span><span class="keyword">type</span> v</span></code>
      </div>
     </div>
    </details>
   </div>
   <div class="odoc-spec">
    <div class="spec module-type anchored"
     id="module-type-Not_inlined_and_opened">
     <a href="#module-type-Not_inlined_and_opened" class="anchor"></a>
     <code>
      <span><span class="keyword">module</span> 
       <span class="keyword">type</span> 
       <a href="Include-module-type-Not_inlined_and_opened.html">
        Not_inlined_and_opened
       </a>
      </span>
      <span> = <span class="keyword">sig</span> ... 
       <span class="keyword">end</span>
      </span>
     </code>
    </div>
   </div>
   <div class="odoc-include">
    <details open="open">
     <summary class="spec include">
      <code>
       <span><span class="keyword">include</span> 
        <a href="Include-module-type-Not_inlined_and_opened.html">
         Not_inlined_and_opened
        </a>
       </span>
      </code>
     </summary>
     <div class="odoc-spec">
      <div class="spec type anchored" id="type-w">
       <a href="#type-w" class="anchor"></a>
       <code><span><span class="keyword">type</span> w</span></code>
      </div>
     </div>
    </details>
   </div>
   <div class="odoc-spec">
    <div class="spec module-type anchored" id="module-type-Inherent_Module">
     <a href="#module-type-Inherent_Module" class="anchor"></a>
     <code>
      <span><span class="keyword">module</span> 
       <span class="keyword">type</span> 
       <a href="Include-module-type-Inherent_Module.html">Inherent_Module</a>
      </span>
      <span> = <span class="keyword">sig</span> ... 
       <span class="keyword">end</span>
      </span>
     </code>
    </div>
   </div>
   <div class="odoc-include shadowed-include">
    <details open="open">
     <summary class="spec include">
      <code>
       <span><span class="keyword">include</span> 
        <a href="Include-module-type-Inherent_Module.html">Inherent_Module
        </a>
       </span>
      </code>
     </summary>
    </details>
   </div>
   <div class="odoc-spec">
    <div class="spec module-type anchored" id="module-type-Dorminant_Module">
     <a href="#module-type-Dorminant_Module" class="anchor"></a>
     <code>
      <span><span class="keyword">module</span> 
       <span class="keyword">type</span> 
       <a href="Include-module-type-Dorminant_Module.html">Dorminant_Module
       </a>
      </span>
      <span> = <span class="keyword">sig</span> ... 
       <span class="keyword">end</span>
      </span>
     </code>
    </div>
   </div>
   <div class="odoc-include">
    <details open="open">
     <summary class="spec include">
      <code>
       <span><span class="keyword">include</span> 
        <a href="Include-module-type-Dorminant_Module.html">Dorminant_Module
        </a>
       </span>
      </code>
     </summary>
     <div class="odoc-include shadowed-include">
      <details open="open">
       <summary class="spec include">
        <code>
         <span><span class="keyword">include</span> 
          <a href="Include-module-type-Inherent_Module.html">Inherent_Module
          </a>
         </span>
        </code>
       </summary>
      </details>
     </div>
     <div class="odoc-spec">
      <div class="spec value anchored" id="val-a">
       <a href="#val-a" class="anchor"></a>
       <code>
        <span><span class="keyword">val</span> a : <a href="#type-u">u</a>
        </span>
       </code>
      </div>
     </div>
    </details>
   </div>
  </div>
 </body>
</html>
